#include "stdio.h"
main()
{
	long unsigned int w1,w2,w3,w4,l1,l2,l3,l4;
	scanf("%d%d%d%d%d%d",&w1,&l1,&w2,&l2,&w3,&l3);
	while ((w1!=0)&&(l1!=0)&&(w2!=0)&&(l2!=0)&&(w3!=0)&&(l3!=0)&&(w4!=0)&&(l4!=0))
	{
		printf("Anna's won-loss record is %d-%d.\n",(l1+2*l2+l3-w1-w3)/2,(w1+2*w2+w3-l1-l3)/2);
		scanf("%d%d%d%d%d%d",&w1,&l1,&w2,&l2,&w3,&l3);
	}
}
